Dines Bjørner: tražiti na sajtu Z-Library

Godina:

2006

Jezik:

english

Fajl:

PDF, 53.92 MB

0 / 0

english, 2006

Software Engineering 1: Abstraction and Modelling

Godina:

2006

Jezik:

english

Fajl:

DJVU, 8.01 MB

0 / 0

english, 2006

Software Engineering 3

Godina:

2006

Jezik:

english

Fajl:

PDF, 7.34 MB

5.0 / 0

english, 2006

Software Engineering 1: Abstraction and Modelling

Prof. Dr. Dines Bjørner (auth.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 23.68 MB

0 / 0

english, 2006

Software Engineering 3

Springer Science & Business Media

Godina:

2006

Jezik:

english

Fajl:

PDF, 7.28 MB

5.0 / 0

english, 2006

Software Engineering 1: Abstraction and Modelling

Godina:

2006

Jezik:

english

Fajl:

PDF, 43.50 MB

0 / 0

english, 2006

DOMAIN ENGINEERING - Technology Management, Research and Engineering

Jezik:

english

Fajl:

PDF, 32.72 MB

0 / 0

english

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 4.29 MB

0 / 0

english, 2007

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Godina:

1996

Jezik:

english

Fajl:

PDF, 6.23 MB

0 / 5.0

english, 1996

Formal Methods in Software Development

Brady Co ,U.S.

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

Godina:

1990

Jezik:

english

Fajl:

DJVU, 4.14 MB

0 / 0

english, 1990

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Godina:

1996

Jezik:

english

Fajl:

DJVU, 3.86 MB

0 / 0

english, 1996

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Godina:

1989

Jezik:

english

Fajl:

PDF, 7.85 MB

0 / 0

english, 1989

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 6.37 MB

0 / 0

english, 2000

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Dines Bjørner (auth.), P. Dembiński (eds.)

Godina:

1980

Jezik:

english

Fajl:

DJVU, 6.42 MB

0 / 0

english, 1980

Software Engineering 2: Specification of Systems and Languages

Springer Berlin Heidelberg

Godina:

2006

Jezik:

english

Fajl:

PDF, 39.54 MB

0 / 0

english, 2006

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

Godina:

1998

Jezik:

english

Fajl:

PDF, 3.20 MB

0 / 0

english, 1998

Software Engineering 3: Domains, Requirements, and Software Design

Godina:

2006

Jezik:

english

Fajl:

PDF, 7.77 MB

5.0 / 5.0

english, 2006

Software Engineering 2: Specification of Systems and Languages

Godina:

2006

Jezik:

english

Fajl:

PDF, 39.92 MB

0 / 0

english, 2006

Domain Science and Engineering: A Foundation for Software Development

Godina:

2021

Jezik:

english

Fajl:

PDF, 4.58 MB

0 / 0

english, 2021

Software Engineering 3: Domains, Requirements, and Software Design

Godina:

2006

Jezik:

english

Fajl:

DJVU, 6.10 MB

0 / 0

english, 2006

Software Engineering 2: Specification of Systems and Languages

Godina:

2006

Jezik:

english

Fajl:

DJVU, 8.45 MB

0 / 0

english, 2006

Logics of Specification Languages

Dines Bjørner, Martin C. Henson (eds.)

Godina:

2008

Jezik:

english

Fajl:

PDF, 3.69 MB

0 / 0

english, 2008

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 3.23 MB

0 / 5.0

english, 2010

Domain Science and Engineering. A Foundation for Software Development.

Springer International Publishing AG

Godina:

2021

Jezik:

english

Fajl:

PDF, 4.58 MB

0 / 5.0

english, 2021

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

PDF, 14.97 MB

0 / 0

english, 1978

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Godina:

2010

Jezik:

english

Fajl:

PDF, 3.04 MB

0 / 0

english, 2010

Domain Science and Engineering: A Foundation for Software Development

Godina:

2021

Jezik:

english

Fajl:

PDF, 4.58 MB

0 / 0

english, 2021

Baltic Computer Science: Selected Papers

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Godina:

1991

Jezik:

english

Fajl:

DJVU, 4.05 MB

0 / 0

english, 1991

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Godina:

1993

Jezik:

english

Fajl:

DJVU, 3.88 MB

0 / 0

english, 1993

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

DJVU, 1.81 MB

0 / 0

english, 1978

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 5.59 MB

0 / 0

english, 2001

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Godina:

1987

Jezik:

english

Fajl:

DJVU, 4.46 MB

0 / 0

english, 1987

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

Godina:

1989

Jezik:

english

Fajl:

DJVU, 4.18 MB

0 / 0

english, 1989

Towards a Formal Description of Ada

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Godina:

1980

Jezik:

english

Fajl:

DJVU, 3.11 MB

0 / 0

english, 1980

Towards a Formal Description of Ada

Dines Bjørner, Ole Nybye Oest (auth.), D. Bjørner, O. N. Nest (eds.)

Godina:

1980

Jezik:

english

Fajl:

PDF, 9.32 MB

0 / 0

english, 1980

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (eds.)

Godina:

1987

Jezik:

english

Fajl:

PDF, 11.36 MB

0 / 0

english, 1987

Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18–20, 1986 Proceedings

Dines Bjørner (auth.), Kesav V. Nori (eds.)

Godina:

1986

Jezik:

english

Fajl:

DJVU, 4.73 MB

0 / 0

english, 1986

The Vienna Development Method: The Meta-Language

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

Godina:

1978

Jezik:

english

Fajl:

PDF, 14.98 MB

0 / 0

english, 1978

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 7.07 MB

0 / 0

english, 2001

Baltic Computer Science: Selected Papers

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)

Godina:

1991

Jezik:

english

Fajl:

PDF, 8.87 MB

0 / 0

english, 1991

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Godina:

1993

Jezik:

english

Fajl:

PDF, 6.56 MB

0 / 0

english, 1993

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Godina:

2007

Jezik:

english

Fajl:

PDF, 6.33 MB

0 / 0

english, 2007

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings